Stanford Artificial Intelligence Laboratory

			ARTIFICIAL INTELLIGENCE MEMOS

All A.I. Memos published to date are listed below.  This list is kept in
diskfile AIMLST [BIB,DOC] @SU-AI.

In the listing  below, there are up  to three numbers given  for each
report: an "AIM" number on the left, a "CS" (Computer Science) number
in the middle, and a  NTIS stock number (often beginning "AD...")  on
the  right.   Special  symbols preceding  the  "AIM" number  indicate
availability at this writing, as follows:
  + hard copy or microfiche,
  - microfiche only,
  * out-of-stock.
If there is no special symbol, then it is available in hard copy only.
Reports that are in stock may be requested from:
	Documentation Services
	Artificial Intelligence Laboratory
	Stanford University
	Stanford, California 94305

Rising costs and restrictions on the use of research funds for
printing reports have made it necessary to charge for reports at
their replacement cost.  By doing so, we will be able to reprint
popular reports rather than simply declaring them "out of print".


Alternatively, reports may be ordered (for a nominal fee) in either hard
copy or microfiche from:
	National Technical Information Service
	P. O. Box 1553
	Springfield, Virginia 22161
If there is no NTIS number given, then they may or may not have the
report.  In requesting copies in this case, give them both the "AIM-" and
"CS-nnn" numbers, with the latter enlarged into the form "STAN-CS-yy-nnn",
where "yy" is the last two digits of the year of publication.

Memos that are also Ph.D. theses are so marked below and may be ordered
from:
	University Microfilm
	P. O. Box 1346
	Ann Arbor, Michigan 48106
For people with access to the ARPA Network, the texts of some A. I. Memos
are stored online in the Stanford A. I. Laboratory disk file.  These are
designated below by "Diskfile:  <file name>" appearing in the header.

*AIM-1,,,John McCarthy,
"Predicate Calculus with `Undefined' as a Truth-value"
5 pages, March 1963.

*AIM-2,,AD785031
John McCarthy,
"Situations, Actions, and Causal Laws"
11 pages, July 1963.

*AIM-3,,,
Fred Safier,
"`The Mikado' an an Advice Taker Problem"
4 pages, July 1963.

*AIM-4,,,
Horace Enea,
"Clock Function for LISP 1.5"
2 pages, August 1963.

*AIM-5,,AD785043
Horace Enea, Dean Wooldridge,
"Algebraic Simplication"
2 pages, August 1963.

*AIM-6,,,
Dean Wooldridge,
"Non-printing Compiler"
2 pages, August 1963.

*AIM-7,,AD785044
John McCarthy,
"Programs With Common Sense"
7 pages, September 1963.

*AIM-8,,,
John McCarthy,
"Storage Conventions in LISP 2"
5 pages, September 1963.

*AIM-9,,,
C. M. Williams,
"Computing Estimates for the Number of Bisections of an NxN
Checkerboard for N Even"
9 pages, December 1963.

*AIM-10,,AD785045
Stephan R. Russell,
"Improvements in LISP Debugging"
3 pages, December 1963.

*AIM-11,,AD785046
Dean Wooldridge, Jr.,
"An Algebraic Simplify Program in LISP"
57 pages, December 1963.

*AIM-12,,,
Gary Feldman,
"Documentation of the MacMahon Squares Problem"
4 pages, January 1964.

*AIM-13,,AD785047
Dean E. Wooldridge,
"The New LISP System (LISP l.55)"
4 pages, February 1964.

*AIM-14,,AD785035
John McCarthy,
"Computer Control of a Machine for Exploring Mars"
6 pages, January 1964.

*AIM-15,,AD785036
Mark Finkelstein, Fred Safier,
"Axiomatization and Implementation"
6 pages, June 1964.

*AIM-16,,AD785037
John McCarthy,
"A Tough nut for Proof Procedures"
3 pages, July 1964.

*AIM-17,,AD785038
John McCarthy,
"Formal Description of the Game of Pang-Ke"
2 pages, July 1964.

*AIM-18,,AD785048
Jan Hext,
"An Expression Input Routine for LISP"
5 pages, July 1964.

*AIM-19,,,
Jan Hext,
"Programming Languages and Translation"
14 pages, August 1964.

*AIM-20,,AD785039
D. Raj. Reddy,
"Source Language Optimization of For-loops"
37 pages, August 1964.

AIM-21,,AD785040
R. W. Mitchell,
"LISP 2 Specifications Proposal"
12 pages, August 1964.  Cost: $2.05

AIM-22,,AD785041
Richard Russell,
"Kalah -- the Game and the Program"
13 pages, September 1964.  Cost: $2.05

AIM-23,,AD785049
Richard Russell,
"Improvements to the Kalah Program"
12 pages, September 1964.  Cost: $2.05

AIM-24,,AD785050
John McCarthy,
"A Formal Description of a Subset of ALGOL"
43 pages, September 1964.  Cost: $2.90

AIM-25,,AD785051
Richard Mansfield,
"A Formal System of Computation"
7 pages, September 1964.  Cost: $1.90

AIM-26,,AD785052
D. Raj. Reddy,
"Experiments on Automatic Speech Recognition by a Digital Computer"
19 pages, October 1964.  Cost: $2.25

AIM-27,,AD785053
John McCarthy,
"A Proof-checker for Predicate Calculus"
7 pages, March 1965.  Cost: $1.90

*AIM-28,,AD785054
John McCarthy,
"Problems in the Theory of Computation"
7 pages, March 1965.

*AIM-29,,AD785055
Charles M. Williams,
"Isolation of Important Features of a Multitoned Picture"
9 pages, January 1965.

*AIM-30,,AD785056
Edward A. Feigenbaum, Richard W. Watson,
"An Initial Problem Statement for a Machine Induction Research
 Project"
8 pages, April 1965.

*AIM-31,,AD785057
John McCarthy,
"Plans for the Stanford Artificial Intelligence Project"
17 pages, April 1965.

*AIM-32,,AD785068
Harry Ratchford,
"The 138 Analog Digital Converter"
9 pages, May 1965.

AIM-33,,AD785032
Barbara Huberman,
"The Advice Taker and GPS"
8 pages, June 1965.  Cost: $1.95

AIM-34,,AD785069
Peter Carah,
"A Television Camera Interface for the PDP-1"
8 pages, June 1965.  Cost: $1.95

*AIM-35,,,
Fred Safier,
"Simple Simon"
17 pages, June 1965.

AIM-36,,AD785065
James Painter,
"Utilization of a TV Camera on the PDP-1"
6 pages, September 1965.  Cost: $1.85

*AIM-37,,,
Knut Korsvold,
"An on Line Algebraic Simplification Program"
36 pages, November 1965.

AIM-38,,AD785066
Donald A. Waterman,
"A Filter for a Machine Induction System"
19 pages, January 1966.  Cost: $2.25

AIM-39,,AD785067
Karl Pingle,
"A Program to Find Objects in a Picture"
22 pages, January 1966.  Cost: $2.30

*AIM-40, CS-38, AD662880,
John McCarthy, James Painter,
"Correctness of a Compiler for Arithmetic Expressions"
13 pages, April 1966.

*AIM-41,,,
Phil Abrams, Dianna Rode,
"A Proposal for a Proof-checker for Certain Axiomatic Systems"
10 pages, May 1966.

AIM-42,,,
Karl Pingle,
"A Proposal for a Visual Input Routine"
11 pages, June 1966.  Cost: $2.00

*AIM-43, CS-49, SS640-836,
D. Raj. Reddy,
"An Approach to Computer Speech Recognition by Direct Analysis of the
 Speech Wave"
Thesis: Ph.D. in Computer Science,
144 pages, September 1966.

*AIM-44,,,
James Painter,
"Semantic Correctness of a Compiler for an Algol-like Language"
Thesis: Ph.D. in Computer Science,
130 pages, revised March 1967.

AIM-45,,,
Donald Kaplan,
"Some Completeness Results in the Mathematical Theory of Computation"
22 pages, October 1966.  Cost: $2.30

*AIM-46, CS-50, PB176761,
Staffan Persson,
"Some Sequence Extrapolating Programs: a Study of Representation and
 Modeling in Inquiring Systems"
Thesis: Ph.D. in Computer Science,
176 pages, September 1966.

*AIM-47,,,
Bruce Buchanan,
"Logics of Scientific Discovery"
Thesis: Ph.D. in Philosophy U.C. Berkeley,
210 pages, December 1966.

AIM-48,,,
Donald M. Kaplan,
"Correctness of a Compiler for Algol-like Programs"
46 pages, July 1967.  Cost: $3.00

AIM-49,,,
Georgia Sutherland,
"DENDRAL -- a Computer Program for Generating and Filtering Chemical
 Structures"
34 pages, February 1967.  Cost: $2.65

*AIM-50,,,
Anthony C. Hearn,
"Reduce Users' Manual"
53 pages, February 1967.

AIM-51,,,
Lester D. Earnest,
"Choosing an eye for a Computer"
154 pages, April 1967.  Cost: $6.00

AIM-52,,,
Arthur L. Samuel,
"Some Studies in Machine Learning Using the Game of Checkers II -
 Recent Progress"
48 pages, June 1967.  Cost: $3.05

AIM-53,,,
William Weiher,
"The PDP-6 Proof Checker"
47 pages, June 1967.  Cost: $3.00

*AIM-54,,,
Joshua Lederberg, Edward A. Feigenbaum,
"Mechanization of Inductive Inference in Organic Chemistry"
29 pages, August 1967.

*AIM-55,,,
Jerome Feldman,
"First Thoughts of Grammatical Inference"
18 pages, August 1967.

AIM-56,,,
William Wichman,
"Use of Optical Feedback in the Computer Control of an Arm"
Thesis: Eng. in Electrical Engineering,
69 pages, August 1967.  Cost: $3.65

AIM-57,,,
Anthony C. Hearn,
"REDUCE, a User-oriented Interactive System for Algebraic Simplification"
69 pages, October 1967.  Cost: $3.65

*AIM-58,,,
Monte D. Callero,
"An Adaptive Command and Control System Utilizing Heuristic Learning
 Processes"
Thesis: Ph.D. in Operations Research,
161 pages, December 1967.

*AIM-59,,,
Donald M. Kaplan,
"A Formal Theory Concerning the Equivalence of Algorithms"
20 pages, May 1968.

AIM-60, CS-101, AD672923,
Donald M. Kaplan,
"The Formal Theoretic Analysis of Strong Equivalence for Elemental
 Programs"
Thesis: Ph.D. in Computer Science,
263 pages, June 1968.  Cost: $9.05

*AIM-61,,,
Takayasu Ito,
"Notes on Theory of Computation and Pattern Recognition"
144 pages, May 1968.

*AIM-62,,,
Bruce Buchanan, Georgia Sutherland,
"Heuristic Dendral: a Program for Generating Explanatory Hypotheses in
 Organic Chemistry"
76 pages, July 1968.

AIM-63,,,
Donald M. Kaplan,
"Regular Expressions and the Equivalence of Programs"
42 pages, July 1968.  Cost: $2.90

*AIM-64,,,
Zohar Manna,
"Formalization of Properties of Programs"
18 pages, July 1968.

*AIM-65, CS-106, AD673971,
Barbara J. Huberman,
"A Program to Play Chess end Games"
Thesis: Ph.D. in Computer Science,
168 pages, August 1968.

*AIM-66,,,
Jerome A. Feldman, Paul D. Rovner,
"An Algol-based Associative Language"
31 pages, August 1968.

*AIM-67,,AD680487,
Edward A. Feigenbaum,
"Artificial Intelligence: Themes in the Second Decade"
39 pages, August 1968.

AIM-68,,,
Zohar Manna, Amir Pnueli,
"The Validity Problem of the 91-function"
20 pages, August 1968.  Cost: $2.25

*AIM-69,, AD677588,
John McCarthy, Edward Feigenbaum, Arthur Samuel,
"Project Technical Report"
90 pages, September 1968.

AIM-70,, AD680072,
Anthony C. Hearn,
"The Problem of Substitution"
14 pages, December 1968.  Cost: $2.10

*AIM-71,, AD677520,
Pierre Vicens,
"Preprocessing for Speech Analysis"
33 pages, October 1968.

*AIM-72, CS-116, AD680036,
Donald L. Pieper,
"The Kinematics of Manipulators under Computer Control"
Thesis: Ph.D. in Mechanical Engineering,
157 pages, October 1968.

*AIM-73,, AD678878,
John McCarthy, Patrick Hayes,
"Some Philosophical Problems From the Standpoint of Artificial
 Intelligence"
51 pages, November 1968.

*AIM-74, CS-118, AD681027,
Donald Waterman,
"Machine Learning of Heuristics"
Thesis: Ph.D. in Computer Science,
? pages, December 1968.

*AIM-75,,,
Roger C. Schank,
"A Notion of Linguistic Concept: a Prelude to Mechanical Translation"
21 pages, December 1968.

*AIM-76,,,
Roger C. Schank,
"A Conceptual Parser for Natural Language"
22 pages, December 1968.

*AIM-77,,,
Joseph D. Becker,
"The Modeling of Simple Analogic and Inductive Processes in a Semantic
 Memory System"
21 pages, January 1969.

AIM-78,,,
D. Raj. Reddy,
"On the use of Environmental, Syntactic and Probalistic Constraints in
 Vision and Speech"
23 pages, January 1969.  Cost: $2.35

AIM-79,, AD685611,
D. Raj. Reddy, Richard B. Neely,
"Contextual Analysis of Phonemes of English"
71 pages, January 1969.  Cost: $3.70

*AIM-80,, AD685612,
Georgia Sutherland,
"Heuristic Dendral: a Family of LISP Programs"
46 pages, March 1969.

*AIM-81,, AD685613,
David Luckham,
"Refinement Theorems in Resolution Theory"
31 pages, March 1969.

*AIM-82,, AD685614,
Zohar Manna, Amir Pneuli,
"Formalization of Properties of Recursively Defined Functions"
26 pages, March 1969.

*AIM-83, CS-130,,
Roger C. Schank,
"A Conceptual Representation for Computer-oriented Semantics"
Thesis: Ph.D. in Linguistics U. of Texas,
201 pages, March 1969.

*AIM-84,, AD691791,
David Canfield Smith,
"MLISP Users' Manual"
57 pages, January 1969.

*AIM-85, CS-127, AD687720,
Pierre Vicens,
"Aspects of Speech Recognition by Computer"
Thesis: Ph.D. in Computer Science,
210 pages, April 1969.

*AIM-86,, AD691788,
Patrick J. Hayes,
"A Machine-oriented Formulation of the Extended Functional Calculus"
44 pages, June 1969.

*AIM-87,, AD691789,
John McCarthy, A.I. Project Staff,
"Project Technical Report"
98 pages, June 1969.

*AIM-88,, AD691790,
Roger C. Schank,
"Linguistics from a Conceptual Viewpoint (Aspects of Aspects of a
 Theory of Syntax)"
22 pages, April 1969.

AIM-89, CS-125, AD692390,
Jerome A. Feldman, J. Gips, J. J. Horning, and S. Reder,
"Grammatical Complexity and Inference"
100 pages, June 1969.  Cost: $4.50

*AIM-90,, AD691799,
Anthony C. Hearn,
"Standard LISP"
33 pages, May 1969.

*AIM-91,,,
J. A. Campbell and Anthony C. Hearn,
"Symbolic Analysis of Feynman Diagrams by Computer"
73 pages, August 1969.

*AIM-92,,,
Victor D. Scheinman,
"Design of a Computer Controlled Manipulator"
Thesis: Eng. in Mechanical Engineering,
53 pages, June 1969.

AIM-93.1,, AD693106,
Jerome Feldman,
"Some Decidability Results on Grammatical Inference and Complexity"
31 pages, August 1969, revised May 1970.  Cost: $2.55

*AIM-94,, AD692391,
Kenneth Mark Colby, Lawrence Tesler, Horace Enea,
"Experiments With a Search Algorithm on the Data Base of a Human
 Belief Structure"
28 pages, August 1969.

*AIM-95,, AD694971,
Zohar Manna,
"The Correctness of Non-deterministic Programs"
44 pages, August 1969.

*AIM-96, CS-138, AD696394,
Claude Cordell Green,
"The Application of Theorem Proving to Question-answering Systems"
Thesis: Ph.D. in Electrical Engineering,
166 pages, August 1969.

*AIM-97,, AD694972,
Kenneth Mark Colby, David Canfield Smith,
"Dialogues Between Humans and an Artificial Belief System"
28 pages, August 1969.

AIM-98, CS-139, AD695401,
James Jay Horning,
"A Study of Grammatical Inference"
Thesis: Ph.D. in Computer Science,
166 pages, August 1969.  Cost: $6.35

*AIM-99,,,
Bruce G. Buchanan, G. L. Sutherland, E. A. Feigenbaum,
"Toward an Understanding of Information Processes of Scientific
 Inference in the Context of Organic Chemistry"
66 pages, September 1969.

*AIM-100,,,
Zohar Manna, John McCarthy,
"Properties of Programs and Partial Function Logic"
21 pages, October 1969.

*AIM-101,,,
Richard Paul, G. Falk, J. A. Feldman,
"The Computer Representation of Simply Described Scenes"
16 pages, October 1969.

*AIM-102,,,
Donald A. Waterman,
"Generalization Learning for Automating the Learning of Heuristics"
74 pages, July 1969.

AIM-103,,,
John Allen, David Luckham
"An Interactive Theorem-proving Program"
27 pages, October 1969.  Cost: $2.45

AIM-104,,,
Joshua Lederberg, Georgia Sutherland, B. G. Buchanan, E. A. Feigenbaum,
"A Heuristic Program for Solving a Scientific Inference Problem:
 Summary of Motivation and Implementation"
15 pages, November 1969.  Cost: $2.15

*AIM-105,,,
Manfred Hueckel,
"An Operator Which Locates Edges in Digitized Pictures"
37 pages, October 1969.

*AIM-106,,,
Michael Edwin Kahn,
"The Near-minimum-time Control of Open-loop Articulated Kinematic
 Chains"
Thesis: Ph.D. in Mechanical Engineering,
171 pages, December 1969.

*AIM-107,,,
Gilbert Falk,
"Some Implications of Planarity for Machine Perception"
27 pages, December 1969.

*AIM-108,,,
Michael D. Kelly,
"Edge Detection in Pictures by Computer Using Planning"
28 pages, January 1970.

*AIM-109,,,
Roger C. Schank, Lawrence Tesler, Sylvia Weber,
"Spinoza II: Conceptual Case-based Natural Language Analysis"
107 pages, January 1970.

*AIM-110,,,
Edward Ashcroft, Zohar Manna,
"Formalization of Properties of Parallel Programs"
58 pages, February 1970.

*AIM-111,,,
Zohar Manna,
"Second-order Mathematical Theory of Computation"
25 pages, March 1970.

*AIM-112,,,
Franklin D. Hilf, Kenneth M. Colby, David C. Smith, William K. Wittner,
"Machine-mediated Interviewing"
27 pages, March 1970.

*AIM-113,,,
Kenneth Mark Colby, Franklin D. Hilf, William A. Hall,
"A Mute Patient's Experience With Machine-mediated Interviewing"
19 pages, March 1970.

*AIM-114,,,
Alan W. Biermann, Jerome A. Feldman,
"On the Synthesis of Finite-state Acceptors"
31 pages, April 1970.

AIM-115,,,
Ugo Montanari,
"On the Optimal Detection of Curves in Noisy Pictures"
35 pages, March 1970.  Cost: $2.70

*AIM-116,,,
Kenneth Mark Colby,
"Mind and Brain, Again"
10 pages, March 1970.

*AIM-117,,,
John McCarthy, et al,
"Project Technical Report"
75 pages, April 1970.

AIM-118,,,
Ugo Montanari,
"Heuristically Guided Search and Chromosome Matching"
29 pages, April 1970.  Cost: $2.50

*AIM-119,,,
Joseph Becker,
"An Information-processing Model of Intermediate-Level Cognition"
Thesis:  Ph.D. in Computer Science (May 1972),
123 pages, May 1970.

*AIM-120,,,
Kenneth Mark Colby, David Canfield Smith,
"Computer as Catalyst in the Treatment of Nonspeaking Autistic
 Children"
32 pages, April 1970.

*AIM-121,,,
Irwin Sobel,
"Camera Models and Machine Perception"
Thesis: Ph.D. in Electrical Engineering,
89 pages, May 1970.

*AIM-122,,,
Roger C. Schank,
"`Semantics' in Conceptual Analysis"
56 pages, May 1970.

*AIM-123,,,
Bruce G. Buchanan, Thomas E. Headrick,
"Some Speculation About Artificial Intelligence and Legal Reasoning"
54 pages, May 1970.

AIM-124,,,
M. M. Astrahan,
"Speech Analysis by Clustering, or the Hyperphoneme Method"
22 pages, June 1970.  Cost: $2.30

*AIM-125,,,
Kenneth Mark Colby, Sylvia Weber, Franklin Hilf,
"Artificial Paranoia"
35 pages, July 1970.

*AIM-126, CS-169, AD711329,
Donald E. Knuth,
"Examples of Formal Semantics"
34 pages, July 1970.

AIM-127, CS-174, AD711395,
Zohar Manna, Richard J. Waldinger,
"Towards Automatic Program Synthesis"
54 pages, July 1970.  Cost: $3.20

*AIM-128, CS-166, AD713841,
Erik J. Sandewall,
"Representing Natural-language Information in Predicate Calculus"
27 pages, July 1970.

*AIM-129, CS-167, AD712460,
Shigeru Igarashi,
"Semantics of ALGOL-like Statements"
95 pages, June 1970.

*AIM-130, CS-168, AD713252,
Michael D. Kelly,
"Visual Identification of People by Computer"
Thesis: Ph.D. in Computer Science,
238 pages, July 1970.

*AIM-131, CS-176, AD715128,
Edward A. Feigenbaum, Bruce G. Buchanan, Joshua Lederberg,
"On Generality and Problem Solving: a Case Study Using the Dendral
 Program"
48 pages, August 1970.

*AIM-132, CS-180, AD715665,
Gilbert Falk,
"Computer Interpretation of Imperfect Line Data as a Three-dimensional
 Scene"
Thesis: Ph.D. in Electrical Engineering,
187 pages, August 1970.

*AIM-133, CS-181,,
Anthony C. Hearn,
"Reduce 2"
Diskfile: REDUCE.ACH[AIM,DOC],
85 pages, October 1970.

*AIM-134, CS-182, AD748565,
Jay Martin Tenenbaum,
"Accommodation in Computer Vision"
Thesis: Ph.D. in Electrical Engineering,
452 pages, September 1970.

AIM-135, CS-179, AD716566,
David Canfield Smith,
"MLISP"
Diskfile: MLISP.DAV[AIM,DOC]
99 pages, October 1970.  Cost: $4.50

*AIM-136, CS-183, AD717600,
George M. White,
"Machine Learning Through Signature Trees. Applications to Human
 Speech"
40 pages, October 1970.

*AIM-137,,,
Donald E. Knuth,
"An Empirical Study of Fortran in Use"
44 pages, November 1970.

*AIM-138, CS-188, PB197161,
Edward Ashcroft, Zohar Manna,
"The Translation of `GO-TO' Programs to `WHILE' Programs"
28 pages, January 1971.

AIM-139, CS-189, AD717601,
Zohar Manna,
"Mathematical Theory of Partial Correctness"
24 pages, January 1971.  Cost: $2.40

*AIM-140, CS-193,,
Roger C. Schank,
"Intention, Memory, and Computer Understanding"
59 pages, January 1971.

*AIM-141, CS-203, AD730506,
Bruce G. Buchanan, Joshua Lederberg,
"The Heuristic DENDRAL Program for Explaining Empirical Data"
20 pages, February 1971.

*AIM-142, CS-205, AD731383,
Robin Milner,
"An Algebraic Definition of Simulation Between Programs"
21 pages, February 1971.

*AIM-143, CS-209, AD724867,
John McCarthy, et al,
"Project Technical Report"
80 pages, March 1971.

AIM-144, CS-219,,
Lynn H. Quam,
"Computer Comparison of Pictures"
Thesis: Ph.D. in Computer Science,
120 pages, May 1971.  Cost: $5.05

*AIM-145, CS-221, AD731729,
Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg,
"A Heuristic Programming Study of Theory Formation in Science"
41 pages, June 1971.

*AIM-146, CS-224, PB212183,
Andrei P. Ershov,
"Parallel Programming"
14 pages, July 1971.

*AIM-147, CS-216, AD732457,
Robert E. Kling,
"Reasoning by Analogy with Applications to Heuristic Problem Solving:
 a Case Study"
Thesis: Ph.D. in Computer Science,
191 pages, August 1971.

AIM-148, CS-217, AD731730,
Edward Ashcroft, Zohar Manna, Amir Pneuli,
"Decidable Properties of Monadic Functional Schemas"
10 pages, July 1971.  Cost: $2.00

AIM-149, CS-231, AD732644,
Rodney Albert Schmidt, Jr.,
"A Study of the Real-time Control of a Computer-driven Vehicle"
Thesis: Ph.D. in Electrical Engineering,
180 pages, August 1971.  Cost: $6.75

*AIM-150,,,
Robert W. Floyd,
"Toward Interactive Design of Correct Programs"
12 pages, September 1971.

*AIM-151, CS-240, AD738568,
Ralph L. London,
"Correctness of Two Compilers for a LISP Subset"
41 pages, October 1971.

*AIM-152, CS-241, AD732642,
Alan W. Biermann,
"On the Inference of Turing Machines from Sample Computations"
31 pages, October 1971.

*AIM-153, CS-242, AD738569,
Patrick J. Hayes,
"The Frame Problem and Related Problems in Artificial Intelligence"
18 pages, November 1971.

*AIM-154, CS-243, AD738570,
Zohar Manna, Stephen Ness, Jean Vuillemin,
"Inductive Methods for Proving Properties of Programs"
24 pages, November 1971.

*AIM-155, CS-245,,
Jonathan Leonard Ryder,
"Heuristic Analysis of Large Trees as Generated in the Game of Go"
Thesis: Ph.D. in Computer Science,
300 pages, December 1971.

AIM-156, CS-246, AD740141,
Kenneth Mark Colby, Franklin D. Hilf, Sylvia Weber, Helena C. Kraemer,
"A Resemblance Test for the Validation of a Computer Simulation of
 Paranoid Processes"
29 pages, November 1971.  Cost: $2.50

*AIM-157, CS-247,,
Yorick Wilks,
"One Small Head -- Some Remarks on the use of `Model' in Linguistics"
17 pages, December 1971.

AIM-158, CS-250, AD740127,
Ashok Chandra, Zohar Manna,
"Program Schemas With Equality"
13 pages, December 1971.  Cost: $2.05

AIM-159, CS-253,,
Jerome A. Feldman, Paul C. Shields,
"Total Complexity and Inference of Best Programs"
40 pages, April 1972.  Cost: $2.85

*AIM-160, CS-255, AD740140,
Jerome A. Feldman,
"Automatic Programming"
20 pages, February 1972.

*AIM-161, CS-264, AD741189,
Yorick Wilks,
"Artificial Intelligence approach to Machine Translation"
44 pages, February 1972.

*AIM-162, CS-265, AD744634,
Roger C. Schank, N. Goldman, C. J. Rieger, C. K. Riesbeck,
"Primitive Concepts Underlying Verbs of Thought"
102 pages, April 1972.

*AIM-163, CS-266,,
Jean M. Cadiou,
"Recursive Definitions of Partial Functions and Their Computations"
Thesis: Ph.D. in Computer Science,
160 pages, April 1972.

AIM-164, CS-272, AD742748,
Zohar Manna, Jean Vuillemin,
"Fixpoint Approach to the Theory of Computation"
29 pages, April 1972.  Cost: $2.50

*AIM-165, CS-280, AD742751,
D. A. Bochvar,
"Two Papers on Partial Predicate Calculus"
50 pages, April 1972.

AIM-166, CS-281, AD-743598,
Lynn H. Quam, S. Liebes, R. B. Tucker, M. J. Hannah, B. G. Eross,
"Computer Interactive Picture Processing"
40 pages, April 1972.  Cost: $2.85

AIM-167, CS-282, AD747254,
Ashok K. Chandra,
"Efficient Compilation of Linear Recursive Programs"
43 pages, June 1972.  Cost: $2.90

AIM-168, CS-287, AD746146,
Shigeru Igarashi,
"Admissibility of Fixed-point Induction in First-order Logic of Typed 
 Theories"
Diskfile: FIXPNT.IGR[AIM,DOC]
40 pages, May 1972.  Cost: $2.85

*AIM-169, CS-288, AD785072
Robin Milner,
"Logic for Computable Functions: Description of a Machine Implementation"
Diskfile: LCFMAN.RGM[AIM,DOC],
36 pages, May 1972.

*AIM-170, CS-289, AD748607,
Yorick Wilks,
"Lakoff on Linguistics and Natural Logic"
Diskfile: LAKOFF.YAW[AIM,DOC]
19 pages, June 1972.

*AIM-171, CS-290, AD746147,
Roger Schank,
"Adverbs and Belief"
30 pages, June 1972.

*AIM-172, CS-299, AD752801,
Sylvia Weber Russell,
"Semantic Categories of Nominals for Conceptual Dependency Analysis of 
 Natural Language"
64 pages, July 1972.

*AIM-173, CS-305, AD755139,
Gerald Jacob Agin,
"Representation and Description of Curved Objects"
Thesis: Ph.D. in Computer Science,
134 pages, October 1972.

*AIM-174, CS-303, PB212827,
Francis Lockwood Morris,
"Correctness of Translations of Programming Languages -- an Algebraic
 Approach"
Thesis: Ph.D. in Computer Science,
124 pages, August 1972.

AIM-175, CS-307, AD785073
Hozumi Tanaka,
"Hadamard Transform for Speech Wave Analysis"
Diskfile: HADAM.HT[AIM,DOC],
34 pages, August 1972.  Cost: $2.65

*AIM-176, CS-308, AD754109,
Jerome A. Feldman, J. R. Low, D. C. Swinehart, R. H. Taylor,
"Recent Developments in SAIL -- an ALGOL based Language for Artificial 
 Intelligence"
22 pages, November 1972.

*AIM-177, CS-311, AD785071
Richard Paul,
"Modelling, Trajectory Calculation and Servoing of a Computer Controlled 
 Arm"
Thesis: Ph.D. in Computer Science,
89 pages, November 1972.

*AIM-178, CS-312, AD754108,
Aharon Gill,
"Visual Feedback and Related Problems in Computer Controlled Hand eye
 Coordination"
Thesis:  Ph.D. in Electrical Engineering,
130 pages, October 1972.

*AIM-179, CS-320,,
Bruce G. Baumgart,
"Winged Edge Polyhedron Representation"
46 pages, October 1972.

*AIM-180, CS-321, AD759712,
Ruzena Bajcsy,
"Computer Identification of Textured Visual Scenes"
Thesis:  Ph.D. in Computer Science,
156 pages, October 1972.

*AIM-181, CS-325,,
Bruce G. Buchanan,
"Review of Hubert Dreyfus' `What Computers Can't Do': a Critique of 
 Artificial Reason"
14 pages, November 1972.

*AIM-182, CS-326, AD754107,
Kenneth Mark Colby and Franklin Dennis Hilf,
"Can Expert Judges, using Transcripts of Teletyped Psychiatric Interviews,
 Distinguish Human Paranoid Patients from a Computer Simulation of Paranoid
 Processes?"
10 pages, December,1972.

*AIM-183, CS-344, AD759716,
Roger C. Schank,
"The Fourteen Primitive Actions and their Inferences"
70 pages, March 1973.

*AIM-184, CS-330, AD758651,
Malcolm Newey,
"Axioms and Theorems for Integers, Lists and Finite Sets in LCF"
53 pages, January 1973.

*AIM-185, CS-333, AD757367,
Ashok K. Chandra, Zohar Manna,
"On the Power of Programming Features"
29 pages, January 1973.

*AIM-186, CS-332, AD758645,
Robin Milner,
"Models of LCF"
17 pages, January 1973.

*AIM-187, CS-331, AD757364,
George E. Collins,
"The Computing Time of the Euclidean Algorithm"
17 pages, January 1973.

*AIM-188, CS-336, AD758646,
Ashok K. Chandra,
"On the Properties and Applications of Program Schemas"
Thesis: Ph.D. in Computer Science,
231 pages, March 1973.

*AIM-189, CS-337, PB218682,
James Gips, George Stiny,
"Aesthetics Systems"
22 pages, January 1973.

AIM-190, CS-340, AD759714,
Malcolm Newey,
"Notes on a Problem Involving Permutations as Sequences"
20 pages, March 1973.  Cost: $2.25

AIM-191, CS-341, AD764272,
Shmuel M. Katz, Zohar Manna,
"A Heuristic Approach to Program Verification"
40 pages, March 1973.  Cost: $2.85

AIM-192, CS-345, AD785074
George E. Collins, Ellis Horowitz,
"The Minimum Root Separation of a Polynomial"
13 pages, April 1973.  Cost: $2.05

*AIM-193, CS-346, AD759717,
Kenneth Mark Colby,
"The Rationale for Computer Based Treatment of Language Difficulties
 in Nonspeaking Autistic Children"
Diskfile: AUTISM.KMC[AIM,DOC],
13 pages, March 1973.

AIM-194, CS-347, PB221170/4,
Kenneth Mark Colby, Franklin Dennis Hilf,
"Multidimensional Analysis in Evaluating a Simulation of Paranoid
 Thought"
10 pages, May 1973.  Cost: $2.00

*AIM-195, CS-356, PB222164,
David Canfield Smith, Horace J. Enea,
"MLISP2"
Diskfile: MLISP2.DAV[AIM,DOC],
91 pages, May 1973.

*AIM-196, CS-357, AD762471,
Neil M. Goldman, Christopher K. Riesbeck,
"A Conceptually Based Sentence Paraphraser"
Diskfile:  MARGIE.NMG[AIM,DOC],
88 pages, May 1973.

*AIM-197, CS-358, AD762470,
Roger C. Schank, Charles J. Rieger III,
"Inference and the Computer Understanding of Natural Language"
63 pages, May 1973.

AIM-198, CS-364, AD763611,
Ravindra B. Thosar,
"Estimation of Probability Density using Signature Tables for
 Application to Pattern Recognition"
37 pages, May 1973.  Cost: $2.75

AIM-199, CS-398, AD771300,
Bruce G. Baumgart,
"Image Contouring and Comparing"
52 pages, October 1973.  Cost: $3.15

-AIM-200, CS-365,,
Shigeru Igarashi, David C. Luckham, Ralph L. London,
"Automatic Program Verification I:  Logical Basis and its
 Implementation"
50 pages, May 1973.

*AIM-201, CS-366, AD763673,
Gunnar Rutger Grape,
"Model Based (Intermediate Level) Computer Vision"
Thesis:  Ph.D. in Computer Science,
256 pages, May 1973.

*AIM-202, CS-368, AD764396,
Roger C. Schank, Yorick Wilks,
"The Goals of Linguistic Theory Revisited"
44 pages, May 1973.

*AIM-203, CS-369, AD764274,
Roger C. Schank,
"The Development of Conceptual Structures in Children"
31 pages, May 1973.

*AIM-204, CS-373, AD765353,
Kurt VanLehn,
"SAIL Users Manual"
Diskfile:  SAIL.KVL[AIM,DOC],
122 pages, July 1973.

*AIM-205, CS-370, AD764288,
N. S. Sridharan, et al,
"A Heuristic Program to Discover Syntheses for Complex Organic
 Molecules"
30 pages, June 1973.

AIM-206, CS-377, AD764652,
Yorick Wilks,
"Preference Semantics"
20 pages, July 1973.  Cost: $2.25

AIM-207, CS-378, AD767333,
James Anderson Moorer,
"The `Optimum-comb' Method of Pitch Period Analysis in Speech"
25 pages, June 1973.  Cost: $2.40

AIM-208, CS-379, AD767334,
James Anderson Moorer,
"The Heterodyne Method of Analysis of Transient Waveforms"
25 pages, June 1973.  Cost: $2.40

*AIM-209, CS-380, AD767695,
Yoram Yakimovsky,
"Scene Analysis using a Semantic Base for Region Growing"
Thesis:  Ph.D. in Computer Science,
120 pages, July 1973.

AIM-210, CS-382, AD767335,
Zohar Manna, Amir Pnueli,
"Axiomatic Approach to Total Correctness of Programs"
25 pages, July 1973.  Cost: $2.40

*AIM-211, CS-383, AD769673,
Yorick Wilks,
"Natural Language Inference"
24 pages, September 1973.

*AIM-212, CS-384, AD769379,
Annette Herskovits,
"The Generation of French from a Semantic Representation"
20 pages, September 1973.

AIM-213, CS-385,,
Ravindra B. Thosar,
"Recognition of Continuous Speech: Segmentation and Classification
using Signature Table Adaptation"
37 pages, September 1973.  Cost: $2.75

*AIM-214, CS-386, AD767332,
Walter A. Perkins, Thomas O. Binford,
"A Corner Finder for Visual Feedback"
59 pages, September 1973.

*AIM-215, CS-387, AD769380,
Bruce G. Buchanan, N. S. Sridharan,
"Analysis of Behavior of Chemical Molecules: Rule Formation on
 Non-homogeneous Classes of Objects"
15 pages, September 1973.

*AIM-216, CS-389, AD771299,
Larry Masinter, N.S. Sridharan, J. Lederberg, S. H. Smith,
"Applications of Artificial Intelligence for Chemical Inference:
XII.  Exhaustive Generation of Cyclic and Acyclic Isomers"
60 pages, September 1973.

*AIM-217, CS-391, AD770610,
N. S. Sridharan,
"Search Strategies for the Task of Organic Chemical Synthesis"
32 pages, August 1973.

*AIM-218, CS-393, AD772063/4WC,
Jean Etienne Vuillemin,
"Proof Techniques for Recursive Programs"
Thesis:  Ph.D. in Computer Science,
97 pages, October 1973.

*AIM-219, CS-394, AD769674,
C. A. R. Hoare,
"Parallel Programming: an Axiomatic Approach"
33 pages, October 1973.

AIM-220, CS-396, AD772064/2WC,
Robert Bolles, Richard Paul,
"The use of Sensory Feedback in a Programmable Assembly Systems"
26 pages, October 1973.  Cost: $2.45

-AIM-221, CS-447, AD787631/1WC,
Luigia Aiello, Mario Aiello, Richard Weyhrauch,
"The Semantics of PASCAL in LCF"
78 pages, October 1974.

+AIM-222, CS-467,,
Mario Aiello, Richard Weyhrauch,
"Checking Proofs in the Metamathematics of First Order Logic"
55 pages, August 1974.  Cost: $3.25

*AIM-223, CS-400, AD772509,
C. A. R. Hoare,
"Recursive Data Structures"
32 pages, December 1973.

-AIM-224, CS-403, AD773391,
C. A. R. Hoare,
"Hints on Programming Language Design"
29 pages, December 1973.

-AIM-225, CS-406, AD775645/5WC,
W. A. Perkins,
"Memory Model For a Robot"
118 pages, January 1974.

-AIM-226, CS-407, AD778310/3WC,
F.H.G. Wright II, R. E. Gorin,
"FAIL"
61 pages, April 1974.

-AIM-227, CS-408, ADA003483,
A. J. Thomas, T. O. Binford,
"Information Processing Analysis of Visual Perception: A Review"
50 pages, June 1974.

-AIM-228, CS-409, AD776233/9WC,
Lester Earnest (ed.),
"FINAL REPORT:  The First Ten Years of Artificial Intelligence 
 Research at Stanford"
118 pages, July 1973.

-AIM-229, CS-411,,
D.B. Anderson, T.O. Binford, A.J. Thomas, R.W. Weyhrauch, Y.A. Wilks,
"AFTER LEIBNIZ . . . : Discussions on Philosophy and Artificial Intelligence"
43 pages, April 1974.

-AIM-230, CS-412, AD786721/1WC,
Daniel C. Swinehart,
"COPILOT:  A Multiple Process Approach to Interactive Programming Systems"
Thesis:  Ph.D. in Computer Science,
213 pages, August 1974.

-AIM-231, CS-413, ADA001814,
James Gips,
"Shape Grammars and their Uses"
Thesis:  Ph.D. in Computer Science,
243 pages, August 1974.

-AIM-232, CS-414, AD780452/9WC,
Bruce G. Baumgart,
"GEOMED - A Geometric Editor"
45 pages, May 1974.

-AIM-233, CS-419, ADA000086/9WC,
Charles J. Rieger, III,
"Conceptual Memory:  A Theory and Computer Program for Processing the
Meaning Content of Natural Language Utterances"
Thesis:  Ph.D. in Computer Science,
393 pages, June 1974.

-AIM-234, CS431, not at NTIS,
Kenneth Mark Colby, Roger C. Parkison, Bill Faught,
"Pattern-Matching Rules for the Recognition of Natural Language Dialogue
Expressions"
23 pages, June 1974.

+AIM-235, CS-432, ADA006898/1WC,
Richard  W. Weyhrauch, Arthur J. Thomas,
"FOL:  A Proof Checker for First-order Logic"
57 pages, September 1974.  Cost: $3.30

-AIM-236, CS-433, AD784513/4WC,
Jack R. Buchanan and David C. Luckham,
"On Automating the Construction of Programs"
65 pages, May 1974.

-AIM-237, CS-436,,
Yorick Wilks,
"Natural Language Understanding Systems Within the AI Paradigm --
A Survey and Some Comparisons"
40 pages, December 1974.

-AIM-238, CS-437, ADA005040,
Christopher K. Riesbeck,
"Computational Understanding:  Analysis of Sentences and Context"
Thesis:  Ph.D. in Computer Science,
245 pages, May 1974.

-AIM-239, CS-438, AD786720/3WC,
Marsha Jo Hannah,
"Computer Matching of Areas in Stereo Images"
Thesis:  Ph.D. in Computer Science,
99 pages, July 1974.

-AIM-240, CS-444, AD787035,
C. Cordell Green, Richard J. Waldinger, David R. Barstow, Robert Elschlager,
Douglas B. Lenat, Brian P. McCune, David E. Shaw, and Louis I. Steinberg,
"Progress Report on Program-understanding Systems"
47 pages, August 1974.

+AIM-241, CS-446, AD786723/7WC,
Luigia Aiello, Richard W. Weyhrauch,
"LCFsmall:  an Implementation of LCF"
45 pages, August 1974.  Cost: $2.95

-AIM-242, CS-452, ADA000500/9WC,
James R. Low,
"Automatic Coding:  Choice of Data Structures"
Thesis:  Ph.D. in Computer Science,
110 pages, August 1974.

-AIM-243, CS-456, ADA003815,
Raphael Finkel, Russel Taylor, Robert Bolles, Richard Paul, Jerome Feldman,
"AL, A Programming System for Automation"
130 pages, November 1974.

-AIM-244, CS-457, not at NTIS,
Kenneth Mark Colby,
"Ten Criticisms of PARRY"
7 pages, September 1974.

-AIM-245, CS-458, AD784816/1WC,
Jack Buchanan,
"A Study in Automatic Programming"
Thesis:  Ph.D. in Computer Science,
148 pages, May 1974.

-AIM-246, CS459, ADA000085/1WC,
Terry Winograd,
"Five Lectures on Artificial Intelligence"
93 pages, September 1974.

-AIM-247, CS-461, ADA005041/9WC,
Neil Goldman,
"Computer Generation of Natural Language From a Deep Conceptual Base"
Thesis: Ph.D. in Computer Science,
318 pages, January 1974.

+AIM-248, CS-462,,
Karl Pingle, Arthur Thomas,
"A Fast, Feature-Driven Stereo Depth Program"
15 pages, May 1975.  Cost: $2.15

-AIM-249, CS-463, ADA002261,
Bruce Baumgart,
"Geometric Modeling for Computer Vision"
Thesis: Ph.D. in Computer Science,
141 pages, October 1974.

-AIM-250, CS-464, ADA003486,
Ramakant Nevatia,
"Structured Descriptions of Complex Curved Objects for Recognition and
Visual Memory"
Thesis:  Ph.D. in Electrical Engineering,
126 pages, October 1974.

-AIM-251,  CS-465, ADA001373,
Edward  H.  Shortliffe,  
"MYCIN:   A  Rule-Based Computer  Program  for  Advising Physicians  
Regarding  Antimicrobial Therapy Selection" 
Thesis: Ph.D. in Medical Information Sciences, 
409 pages, October 1974. 

-AIM-252, CS-466, ADA002246,
Lester Earnest (ed.),
"Recent Research in Artificial Intelligence, Heuristic Programming, and
Network Protocols"
74 pages, July 1974.

+AIM-253, CS-471, ADA003487,
Bill Faught, Kenneth Colby, Roger Parkison,
"The Interaction of Inferences, Affects, and Intentions in a Model of
Paranoia"
38 pages, December 1974.  Cost: $2.75

+AIM-254, CS-472, ADA005407/2WC,
Lynn Quam, Marsha Jo Hannah,
"Stanford Automatic Photogrammetry Research"
15 pages, November 1974.  Cost: $2.15

-AIM-255, CS-473, ADA005412/2WC,
Norihisa Suzuki,
"Automatic Program Verification II:  Verifying Programs by Algebraic
256 Logical Reduction"
29 pages, December 1974.

-AIM-256, CS-474, ADA007563/0WC,
Friedrich W. V.Henke, David C. Luckham,
"Automatic Program Verification III: A Methodology for Verifying Programs",
45 pages, December 1974.

-AIM-257, CS-475, ADA005407/2WC,
Malcolm C. Newey,
"Formal Semantics of LISP With Applications to Program Correctness"
Thesis:  Ph.D. in Computer Science,
184 pages, January 1975.

-AIM-258, CS-476, ADA006294/3WC,
Cordell Green, David Barstow,
"A Hypothetical Dialogue Exhibiting a Knowledge Base for a 
Program-Understanding System"
38 pages, January 1975.

-AIM-259, CS-498,,
Hanan Samet,
"Automatically Proving the Correctness of Translations
Involving Optimized Code"
Thesis:  PhD in Computer Science,
214 pages, May 1975.

-AIM-260, CS-499, ADA016811/2WC,
David Canfield Smith,
"PYGMALION: A Creative Programming Environment"
Thesis:  PhD in Computer Science,
193 pages, June 1975.

+AIM-261, CS-501, ADA016808/8WC,
Odd Pettersen,
"Procedural Events as Software Interrupts"
8 pages, June 1975.  Cost: $1.95

+AIM-262, CS-502, ADA016810/4WC,
Odd Pettersen,
"Synchronization of Concurrent Processes"
14 pages, July 1975.  Cost: $2.10

+AIM-263, CS-503,,
Odd Pettersen,
"The Macro Processing System STAGE2: Transfer of Comments to the Generated Text"
20 pages, July 1975.  Cost: $2.25

+AIM-264, CS-506,,
Michael Gordon,
"Operational Reasoning and Denotational Semantics"
33 pages, August 1975.  Cost: $2.65

+AIM-265, CS-507,,
Michael Gordon,
"Towards a Semantic Theory of Dynamic Binding"
28 pages, August 1975.  Cost: $2.50

+AIM-266, CS-517, ADA019641,
Randall Davis, Bruce Buchanan, Edward Shortliffe,
"Production Rules as a Representation for a Knowledge-Based Consultation
  Program"
37 pages, October l975.  Cost: $2.75

+AIM-267, CS-520, ADA019664/2WC,
Friedrich W. von Henke,
"On the Representation of Data Structures in LCF with Applications to
  Program Generation"
41 pages, September l975.  Cost: $2.85

+AIM-268, CS-521, ADA019663/4WC,
Clark Thompson,
"Depth Perception in Stereo Computer Vision"
16 pages, October 1975.  Cost: $2.15

+AIM-269, CS-522, ADA019569/3WC,
David C. Luckham, Norhisa Susuzki,
"Automatic Program Verification IV: Proof of Termination Within a Weak Logic
 of Programs"
29 pages, October 1975.     Cost: $2.50

-AIM-270, CS-523, ADA019467,
John F. Reiser,
"BAIL -- A debugger for SAIL"
26 pages, October 1975.

+AIM-271, CS-524, ADA019702/0WC,
Randall David, Jonathan King,
"An Overview of Production Systems"
40 pages, October 1975.  Cost: $2.85

+AIM-272, CS-525,,
Sundaram Ganapathy,
"Reconstruction of Scenes Containing Polyhedra From Stereo Pair of Views"
Thesis:  Ph.D. in Computer Science,
204 pages, December 1975.  Cost: $7.40

-AIM-273, CS-534,,
Linda Gail Hemphill,
"A Conceptual Approach to Automated Language Understanding and Belief
 Structures: with Disambiguation of the Word `For'"
Thesis: Ph.D. in Linguistics,
254 pages, May 1975.

+AIM-274, CS-536, ADA020942/9WC,
David Grossman, Russell Taylor,
"Interactive Generation of Object Models with a Manipulator"
32 pages, December 1975.  Cost: $2.60

+AIM-275, CS-537, ADA020943/7WC,
Robert C. Bolles,
"Verification Vision Within a Programmable Assembly System: An
  Introductory Discussion"
82 pages, December 1975.  Cost: $4.00

+AIM-276, CS-539, ADA021055/9WC,
Zohar Manna, Adi Shamir,
"A New Approach to Recursive Programs"
25 pages, December 1975.  Cost: $2.40


-AIM-277, CS-542, ADA027454,
Zohar Manna, Adi Shamir,
"The Theoretical Aspects of the Optimal Fixedpoint"
24 pages, March 1976.

+AIM-278, CS-549, ADA027455,
David Luckham, Norihisa Suzuki,
"Automatic Program Verification V: Verification-Oriented Proof Rules
 for Arrays, Records and Pointers"
48 pages, March 1976.  Cost: $3.05

-AIM-279, CS-552,,
Norihsa Suzuki,
"Automatic Verification of Programs with Complex Data Structures"
Thesis:  Ph.D. in Computer Science,
194 pages, February 1976.

+AIM-280, CS-555,,
David D. Grossman,
"Monte Carlo Simulation of Tolerancing in Discrete Parts Manufacturing
 and Assembly"
25 pages, May 1976.  Cost: $2.40

+AIM-281.1, CS-558,AD-A042 507,
Zohar Manna, Richard Waldinger,
"Is `sometime' sometimes better than `always'?  Intermittent assertions
in proving program correctness"
41 pages, June 1976, revised March 1977.  Cost: $2.85

+AIM-282,CS-560,,
Russell Taylor,
"Synthesis of Manipulator Control Programs from Task-level Specifications"
Thesis: Ph.D. in Computer Science,
229 pages, July 1976.  Cost: $8.10

-AIM-283, CS-552,,
Randall Davis,
"Applications of Meta Level Knowledge to the Construction, Maintenance
 and Use of Large Knowledge Bases"
Thesis: Ph.D. in Computer Science,
304 pages, July 1976.

-AIM-284, CS-567,,
Rafael Finkel,
"Constructing and Debugging Manipulator Programs"
Thesis:  Ph.D. in Computer Science,
171 pages pages, August 1976.

-AIM-285, CS-568,PB-259 130/3WC,
T. O. Binford, D. D. Grossman, C. R. Lui, R. C. Bolles, R. A. Finkel,
M. S. Mujtaba, M. D. Roderick, B. E. Shimano, R. H. Taylor, R. H. Goldman,
J. P. Jarvis, V. D. Scheinman, T. A. Gafford,
"Exploratory Study of Computer Integrated Assembly Systems, Progress Report 3"
336 pages, August 1976.

+AIM-285.4, CS-568,PB-259 130/3WC,
T. O. Binford, C. R. Lui, G. Gini, M. Gini, I. Glaser, T. Ishida,
M. S. Mujtaba, E. Nakano, H. Nabavi, E. Panofsky, B. E. Shimano, R. Goldman,
V. D. Scheinman, D. Schmelling, T. A. Gafford,
"Exploratory Study of Computer Integrated Assembly Systems, Progress Report 4"
255 pages, June 1977.  Cost: $8.85

-AIM-286, CS-570,,
Douglas Lenat,
"AM: An Artificial Intelligence Approach to Discovery in Mathematics
as Heuristic Search"
Thesis: Ph.D. in Computer Science,
350 pages, July 1976.

+AIM-287, CS-571,,
Michael Roderick,
"Discrete Control of a Robot Arm"
Thesis: Engineer in Electrical Engineering,
98 pages, August 1976.  Cost: $4.45

+AIM-288, CS-572,,
Robert Filman, Richard Weyhrauch,
"An FOL Primer"
36 pages, September 1976.  Cost: $2.70

+AIM-289, CS-574,,
John Reiser (ed.),
"SAIL"
178 pages, August 1976.  Cost: $6.70

+AIM-290, CS-575, AD-A042 494,
Nancy W. Smith,
"SAIL Tutorial"
54 pages, November 1976.  Cost: $3.20

-AIM-291, CS-577, AO44713,
Bruce Buchanan, Joshua Lederberg, John McCarthy,
"Three Reviews of J. Weizenbaum's Computer Power and Human Reason"
28 pages, November 1976.

+AIM-292, CS-580,,
Terry Winograd,
"Towards a Procedural Understanding of Semantics"
30 pages, October 1976.  Cost: $2.55

-AIM-293, CS-581, AD-A042 508,
Daniel Bobrow, Terry Winograd,
"An Overview of KRL"
40 pages, November 1976.

+AIM-294, CS-586, AD-A042 516,
Nachum Dershowitz, Zohar Manna,
"The Evolution of Programs: A System for Automatic Program Modification"
45 pages, December 1976.  Cost: $2.95

+AIM-295, CS-591,,
Robert C. Bolles,
"Verification Vision Within a Programmable Assembly System"
Thesis: Ph.D. in Computer Science,
245 pages, December 1976.  Cost: $8.55

+AIM-296, CS-592,,
Robert Cartwright, 
"Practical Formal Semantic Definition and Verification Systems"
Thesis: Ph.D. in Computer Science,
158 pages, December 1976.  Cost: $6.15

-AIM-297, CS-610,,
Terry Winograd,
"A Framework for Understanding Discourse"
24 pages, April 1977.

-AIM-298, CS-611, ADA046703,
Zohar Manna, Richard Waldinger,
"The Logic of Computer Programming"
90 pages, June 1977.

+AIM-299, CS-614, ADA049760,
Zohar Manna, Adi Shamir,
"The Convergence of Functions to Fixedpoints of Recursive Definitions"
45 pages, May 1977.  Cost: $2.95

-AIM-300, CS-617,,
Terry Winograd,
"On some Contested Suppositions of Generative Linguistics about the
Scientific Study of Language"
25 pages, May 1977.

+AIM-301, CS-624, ADA044231,
Lester Earnest, et. al.,
"Recent Research in Computer Science"
118 pages, June 1977.  Cost: $5.00

+AIM-302, CS-630, ADA049761,
Zohar Manna, Richard Waldinger
"Synthesis:  Dreams => Programs"
119 pages, October 1977.  Cost: $5.05

-AIM-303, CS-631, ADA050806,
Nachum Dershowitz, Zohar Manna,
"Inference Rules for Program Annotation"
46 pages, October 1977.

+AIM-304, CS-632, ADA048684,
Todd Wagner,
"Hardware Verification"
Thesis: PhD in Computer Science,
102 pages, September 1977.  Cost: $4.55

+AIM-305, CS-633, ADA048660,
William Faught,
"Motivation and Intensionality in a Computer Simulation Model"
Thesis: Ph.D. in Computer Science,
104 pages, September 1977.  Cost: $4.60

+AIM-306, CS-639, ADA053175,
Cordell Green, David Barstow,
"On Program Synthesis Knowledge"
63 pages, November 1977.  Cost: $3.45

+AIM-307, CS-640, ADA053176,
Zohar Manna and Richard Waldinger,
"Structured Programming Without Recursion"
10 pages, December 1977.  Cost: $2.00

+AIM-308, CS-641, ADA053184,
David Barstow,
"Automatic Construction of Algorithms"
Thesis: Ph.D. in Computer Science,
220 pages, December 1977.  Cost: $7.85

+AIM-309, CS-646,,
C. G. Nelson, Derek Oppen,
"Efficient Decision Procedures Based on Congruence Closure"
15 pages, January 1978.  Cost: $2.15

+AIM-310, CS-651, ADA058601,
Nachum Dershowitz, Zohar Manna,
"Proving Termination with Multiset Orderings"
33 pages, March 1978.  Cost: $2.65

+AIM-311, CS652,,
Greg Nelson, Derek C. Oppen,
"Simplification by Cooperating Decision Prodcedures"
20 pages, April 1978.  Cost: $2.25

+AIM-312, CS-657, ADA065502,
John McCarthy, Masahiko Sato, Takeshi Hayashi, Shigeru Igarashi,
"On the Model Theory of Knowledge"
11 pages, April 1978.  Cost: $2.00

+AIM-313, CS-660,,
Bruce E. Shimano,
"The Kinematic Design and Force Control of Computer Controlled Manipulators"
Thesis: Ph.D. in Mechanical Engineering,
140 pages, March 1978.  Cost: $5.65

+AIM-314, CS-678,,
Derek C. Oppen,
"Reasoning About Recursively Defined Data Structures"
15 pages, July 1978.  Cost: $2.15

+AIM-315, CS-687, ADA065698,
Richard W. Weyhrauch,
"Prolegomena to a Theory of Formal Reasoning"
41 December 1978.
 page  Cost: $2.85

-AIM-316, CS-671,,
Jerrold M. Ginsparg,
"Natural Language Processing in an Automatic Programming Domain"
Thesis: Ph.D. in Computer Science,
172 pages, June 1978.

+AIM-317, CS-675,,
Donald E. Knuth,
"Tau Epsilon Chi, A System for Technical Text"
200 pages, September 1978.  Cost: $7.30

+AIM-318, CS-688,,
Zohar Manna,
"Six Lectures on the Logic of Computer Programming"
54 pages, November 1978.  Cost: $3.20

+AIM-319, CS-689,,
Charles G. Nelson,
"An n ↑[log n] algorithm for the two-variable-per-constraint linear
programming satisfiability problem"
20 pages, December 1978.  Cost: $2.25

+AIM-320, CS-690, ADA065558,
Zohar Manna,
"A Deductive Approach to Program Synthesis"
30 pages, December 1978.  Cost: $2.55

+AIM-321, CS-695, ADA06562,
McCarthy, et.al,
"Recent Research in Artificial Intelligence and Programming Methodology"
94 pages, November 1978.  Cost: $4.35

+AIM-322, CS-716,,
Michael Georgeff
"A Framework for Control in Production Systems"
35 pages, January 1979.  Cost: $2.70

+AIM-323, CS-718
Shahid Mujtaba,	Ron Goldman,
"AL Users' Manual"
136 pages, January 1979.  Cost: $5.50

+AIM-324, CS-717,,
Robert Cartwright, John McCarthy
"Recursive Programs as Functions in a First Order Theory"
32 pages, March 1979.  Cost: $2.60

+AIM-325, CS-724,,
John McCarthy,
"First Order Theories of Individual Concepts and Propositions"
19 pages, March 1979.  Cost: $2.25

+AIM-326, CS-725,,
John McCarthy,
"Ascribing Mental Qualities to Machines"
25 pages, March 1979.  Cost: $2.40

+AIM-327, CS-727,,
Robert Elliot Filman,
"The Interaction of Observation and Inference"
Thesis: PhD in Computer Science,
232 pages, April 1979.  Cost: $8.20

+AIM-328, CS-743,,
Juan Bautista Bulnes-Rozas,
"GOAL: A Goal Oriented Command Language for Interactive Proof Constructions"
Thesis: PhD in Computer Science,
178 pages, June 1979.  Cost: $6.70

AIM-329, CS-747, AD-A076 872, 
David E.  Wilkins 
"Using Patterns and Plans to Solve Problems and Control Search"
Thesis: PhD in Computer Science,
264 pages, June 1979.  Cost: $9.10

AIM-330, CS-751,,
Zohar Manna and Amir Pnueli, 
"The Modal Logic of Programs"
36 pages, September 1979.  Cost: $2.75

AIM-331, CS-755,,
Elaine Kant,
"Efficiency Considerations in Program Synthesis: A Knowledge-Based Approach"
Thesis: PhD in Computer Science,
160 pages, July 1979.  Cost: $6.20

AIM-332, CS-762, AD-A083 229, 
Donald E. Knuth, 
"METAFONT, a system for alphabet design"
110 pages, September 1979.  Cost: $4.70

AIM-333, CS-772,,
Brian P.  McCune,
"Building Program Models Incrementally from Informal Descriptions"
Thesis: PhD in Computer Science,
146 pages, October 1979.  Cost: $5.70

AIM-334, CS-788,,
John McCarthy, 
"Circumscription - A Form of Non-Monotonic Reasoning"
15 pages, February 1980.  Cost: $2.15

AIM-335, CS-796,,
Arthur Samuel, 
"Essential E"
33 pages, March 1980.  Cost: $2.65

AIM-336, CS-804,,
Martin Brooks,
"Determining Correctness by Testing"
Thesis: PhD in Computer Science,
135 pages, May 1980.  Cost: $5.50

AIM-337, CS-808,,
John McCarthy (Principal Investigator), Thomas Binford, David Luckham,
Zohar Manna, Richard Weyhrauch (Associate Investigators),
"Basic Research in Artificial Intelligence and Foundations of Programming"
75 pages, May 1980.  Cost: $3.95

AIM-338, CS-809,,
Jorgan S. Ohwovoriole,
"An Extention of Screw Theory and its Application to the Automation of
Industrial Assemblies"
Thesis: PhD in Electrical Engineering,
186 pages, April 1980.  Cost: $4.50

AIM-339, CS-805,,
Donald B. Gennery,
"Modelling the Environment of an Exploring Vehicle by Means of 
Stereo Vision"
Thesis: PhD in Computer Science,
151 pages, June 1980.  Cost: $5.95

AIM-340, CS-813,,
Hans Peter Moravec,
"Obstacle Avoidance and Navigation in the Real World by a Seeing Robot Rover"
Thesis: PhD in Computer Science
174 pages, September 1980.  Cost: $4.35

AIM-341, CS-818,,
William Louis Scherlis,
"Expression Procedures and Program Derivation"
Thesis: PhD in Computer Science
178 pages, August 1980.  Cost: $4.40

AIM-342, CS-81-856
Richard P. Gabriel
"An Organization for Programs in Fluid Domains"
190 pages, May 1981.
$__

AIM-343, CS81-861
Rodney A. Brooks
"Symbolic Reasoning Among 3-D Models and 2-D Images"
181 pages, June 1981
$7.45

AIM-344, CS81-889
Mujtaba and Goldman
"AL Users' Manual"
400 pages, $7.05

AIM-344, CS82-897
Christopher Goad
"Automatic Construction of Special Programs"

AIM-345-902
Zohar Manna and Richard Waldinger
"Special Relations in Program Synthetic Deductions"
$4.25

AIM-346, CS-903
John McCarthy
"Coloring Maps and the Kowalski Doctrine"
$2.25

AIM-347, CS-930
Harlyn Baker
"Depth From Edge and Intensity Based Stereo
Thesis - Univ. of Illinois
1982

AIM-348,CS-941
Paul Alan Martin
"Integrating Local Information to Understand Dialog"
Thesis.  
131 pages.  Not available.

AIM-349, CS-950
T. Binford, P. Winston, M. Lowry and B. Katz
"Learning Physical Descriptions from Functional Definitions,
Examples and Precedents"
also printed at MIT

AIM-350, CS-955
Ron Goldman
"Design of an Interactive Manipulator Programming Environment"
150 pages, December, 1982  (Thesis)
$6.50

AIM-351, CS 961
R. David Arnold
"Automated Stereo Perception"
130 pages, February 1983

AIM-352, CS1007
Richard P. Gabriel and John McCathy
"Queue-based Multiprocessing LISP"
35 pages, June 1984